Binary operations involving modular arithmetic